﻿mergeInto(LibraryManager.library, {  Play: function (str) {    ShowPanel(Pointer_stringify(str));  },});